symbolic computation

符号计算